منابع مشابه
Coherence for monoidal endofunctors
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the p...
متن کاملCoherence for Skew-Monoidal Categories
We motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be formulated differently than in the well-known monoidal case. In my (to my knowledge new) version it becomes a statement of uniqueness of normalizing rewrites. We presen...
متن کاملCoherence for monoidal monads and comonads
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this means that it preserves the monoidal structure up to a natural transformation that need not be an isomorphism). These results are proved first in the ...
متن کاملCoherence in monoidal track categories
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملTerminal coalgebras for endofunctors on sets
This paper shows that the main results of Aczel and Mendler on the existence of terminal coalgebras for an endofunctor on the category of sets do not, for the main part of the results require looking at functors on the category of (possibly proper) classes. We will see here that the main results are valid for sets up to some regular cardinal. Should that cardinal be inaccessible, then Aczel and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2010
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129510000022